TerminationCheckUnquoteDecl.agda:26,1-33
Termination checking failed for the following functions:
Problematic calls:
  TerminationCheckUnquoteDecl.aux
